alle{-}at(${\it es}$; $i$; $e$.$P$($e$)) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$e$:es{-}E(${\it es}$). (loc($e$) = $i$) $\Rightarrow$ $P$($e$)